منابع مشابه
Space - Aware Ambients and Processes ? Franco
Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient calculus with bounded capacities and weighed processes, where migration and activation require space. A type system controls the dynamics of the calculus by providing static guarantees that th...
متن کاملSoviet Repression Statistics: Some Comments
... a debate is taking place between a historian who in his research bases himself on real documents of the MVD, and those whose estimates are based on the evidence of witnesses and scattered (often unreliable) data. This situation turns the question of the necessity for academic criticism of the data which entered the of cial departmental statistics of the MVD, Ministry of Justice and Procura...
متن کاملSome Verification Issues at NASA Goddard Space Flight Center
NASA is developing increasingly complex missions to conduct new science and exploration. Missions are increasingly turning to multi-spacecraft to provide multiple simultaneous views of phenomena, and to search more of the solar system in less time. Swarms of intelligent autonomous spacecraft, involving complex behaviors and interactions, are being proposed to accomplish the goals of these new m...
متن کاملSoviet Space Stations: Achievements, Trends, and Outlook
It is a widely held belief that the Soviet space program deliberately follows the paths described in the early years of the century by Konstantin Tsiolkovsky. 1 Be that as it may, it is certainly possible to find close parallels between Tsiolkovsky’s writing and the course of events, but more likely these parallels result because modern engineers have arrived at similar solutions to the same pr...
متن کاملMagnesium and Space Flight
Magnesium is an essential nutrient for muscle, cardiovascular, and bone health on Earth, and during space flight. We sought to evaluate magnesium status in 43 astronauts (34 male, 9 female; 47 ± 5 years old, mean ± SD) before, during, and after 4-6-month space missions. We also studied individuals participating in a ground analog of space flight (head-down-tilt bed rest; n = 27 (17 male, 10 fem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1982
ISSN: 0028-0836,1476-4687
DOI: 10.1038/298319b0